Guest Editorial: Verification of Hybrid Systems

نویسنده

  • Oded Maler
چکیده

This special issue of The European Journal of Control is dedicated to some of the results of the European Community Esprit LTR Project VHS Veri cation of Hybrid Systems It consists of papers dealing with various aspects of one of the case studies treated in the project the Experimental Batch Plant at the university of Dortmund Before presenting the papers themselves it is worthwhile to say something about hybrid systems in general and the VHS project in particular

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Guest Editorial: Impact of Integrated Intelligent Information and Analytical Systems on Society

The Special Issue of the Journal of Information Technology Management (JITM) is publishing very selective papers on information management, technology in higher education, integrated systems, enterprise management, cultural thoughts, strategic contributions, management information systems, and cloud computing. We received numerous papers for this special issue but after an extensive pe...

متن کامل

A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness

Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...

متن کامل

Guest Editorial: Computational Approaches for Conflict Resolution in Decision Making: New Advances and Developments

GUEST EDITORIAL: COMPUTATIONAL APPROACHES FOR CONFLICT RESOLUTION IN DECISION MAKING: NEW ADVANCES AND DEVELOPMENTS Reyhan Aydogan a , Victor Sanchez b , Vicente Julian b , Joost Broekens a & Catholijn Jonker a a Department of Intelligent Systems , Delft University of Technology (TU-Delft) , Delft , The Netherlands b Departament de Sistemes Informatics i Computacio , Universitat Politecnica de ...

متن کامل

Hybrid Computer Systems [Guest editorial]

Today's increasing emphasis on simulation of continuous dynamic systems lends a special significance to this issue of Computer. Hybrid computers, with their tremendous computing speed resulting from the all-parallel configuration of their analog subsystem, are particularly suited for dynamic system simulation. Indeed, back in the 1950's analog computers were the only game in town when it came t...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Eur. J. Control

دوره 7  شماره 

صفحات  -

تاریخ انتشار 2001